protoknow(p1,sp,pri(enc,[cm(data,[u_2],dot),pri(hash,[cm(ks1,dot,dot),cm(ks2,dot,dot)])])).
